Constraint algorithm - PDFSEARCH.IO - Document Search Engine

Constraint algorithm
Results: 320

#	Item
121	Evaluating Resilience Strategies Based on an Evolutionary Multi-agent System Kazuhiro Minami, Tomoya Tanjo, and Hiroshi Maruyama Institute of Statistical Mathematics, Tokyo, Japan Email: {kminami, tanjo, hm2}@ism.ac.jp Add to Reading List Source URL: systemsresilience.org Language: English - Date: 2013-10-28 05:43:11 Artificial intelligence Multi-agent systems Mathematical optimization Agent-based model Constraint satisfaction problem Genetic algorithm Psychological resilience Computing Constraint programming Complex systems theory Science
122	D SHARP: Fast d-DNNF Compilation with sharpSAT Christian Muise1 , Sheila A. McIlraith1 , J. Christopher Beck2 , and Eric Hsu1 1 Department of Computer Science, University of Toronto, Toronto, Canada. {cjmuise, sheila, ei Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2012-03-14 09:53:05 Constraint programming Mathematics DPLL algorithm Knowledge compilation Connectivity Influence diagram Bayesian network Unit propagation Theoretical computer science Automated theorem proving Applied mathematics
123	A New Approach to Model Counting Wei Wei and Bart Selman Department of Computer Science Cornell University Ithaca, NY 14853 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-06-09 16:20:27 Constraint programming Logic in computer science Boolean algebra Automated theorem proving Mathematical logic Boolean satisfiability problem DPLL algorithm Local search Davis–Putnam algorithm Theoretical computer science Applied mathematics Mathematics
124	CLP(Intervals) Revisited 1 F. Benhamou D. McAllester P. Van Hentenryck Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2006-08-07 20:12:27 Software engineering Interval arithmetic Constraint logic programming Local consistency Antiderivative Interval Mean value theorem Constraint satisfaction problem Constraint algorithm Constraint programming Mathematics Mathematical analysis
125	Skipping Steps in Deformable Simulation with Online Model Reduction Theodore Kim1,2 University of Saskatchewan1 Doug L. James2 Cornell University2 Add to Reading List Source URL: www.mat.ucsb.edu Language: English - Date: 2012-03-13 17:07:09 Computational physics Computational chemistry Molecular dynamics Numerical analysis Operations research Simulation Constraint algorithm Integrator Numerical integration Computational science Mathematics Science
126	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 10 Self-stabilizing Distributed Constraint Satisfaction ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge, Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2000-02-21 01:31:44 Computing Local consistency Constraint satisfaction Self-stabilization Distributed computing Constraint graph Scheduling Backtracking Search algorithm Constraint programming Software engineering Computer programming
127	Maximum Coverage over a Matroid Constraint Yuval Filmus Justin Ward University of Toronto China Theory Week 2011 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2011-10-18 11:48:40 Discrete mathematics Matroid Submodular set function Greedy algorithm Greedoid Weighted matroid Matroid theory Mathematics Combinatorics
128	MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.merl.com Consensus-based Distributed Optimal Power Flow Algorithm Add to Reading List Source URL: www.merl.com Language: English - Date: 2015-03-10 17:36:54 Mathematics Applied mathematics Electric power Power engineering Power flow study Mathematical optimization Constraint optimization Algorithm Linear programming Electromagnetism Electrical engineering Operations research
129	Incremental Analysis of Constraint Logic Programs MANUEL HERMENEGILDO and GERMAN PUEBLA Universidad Polit´ecnica de Madrid KIM MARRIOTT Monash University and Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:20:28 Logic programming Constraint logic programming Algorithm Prolog Function Graph Mathematical optimization Priority queue Mathematics Constraint programming Software engineering
130	Symbolic Execution as DPLL Modulo Theories Quoc-Sang Phan Queen Mary University of London Abstract Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Constraint programming Automated theorem proving Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories DPLL algorithm Boolean satisfiability problem Solver Theoretical computer science Applied mathematics Mathematics

UPDATE